purely discontinuous group

[数] 纯不连续群